#include <xen/interface/sched.h>
#include <xen/interface/dom0_ops.h>
#include <linux/errno.h>
+#include <asm/hypervisor.h> // for jiffies_to_st()
/* FIXME: temp place to hold these page related macros */
#include <asm/page.h>
#include <xen/interface/dom0_ops.h>
#include <asm/ptrace.h>
#include <asm/page.h>
+#include <asm/xen/privop.h> // for running_on_xen
extern shared_info_t *HYPERVISOR_shared_info;
extern start_info_t *xen_start_info;
/* Turn jiffies into Xen system time. XXX Implement me. */
#define jiffies_to_st(j) 0
-#include <asm/hypercall.h>
-
// for drivers/xen/privcmd/privcmd.c
#define direct_remap_pfn_range(a,b,c,d,e,f) remap_pfn_range(a,b,c,d,e)
#define pfn_to_mfn(x) (x)